COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		Jon: Here is a paragraph I have written to send ARPA if
C00004 ENDMK
C⊗;
	Jon: Here is a paragraph I have written to send ARPA if
I don't here from you today.  If they need more, I will elaborate
it a bit.  It turns out they need a lot more.

	John Doyle, who has just finished his dissertation at
M.I.T. under Gerry Sussman, will join the Formal Reasoning Group
September 1.  His work for the next two years will include
developing the ideas of his thesis on programs that deliberate
and introspect in order to act more effectively.  He will also
continue research on non-monotonic reasoning in collaboration
with McCarthy.  His thesis "A Model for Deliberation, Action,
and Introspection" is available from him, DOYLE%MIT-AI.